Optimal. Leaf size=18 \[ -\frac{10 x^3}{3}-\frac{x^2}{2}+3 x \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.006176, antiderivative size = 18, normalized size of antiderivative = 1., number of steps used = 2, number of rules used = 1, integrand size = 11, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.091, Rules used = {43} \[ -\frac{10 x^3}{3}-\frac{x^2}{2}+3 x \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 43
Rubi steps
\begin{align*} \int (1-2 x) (3+5 x) \, dx &=\int \left (3-x-10 x^2\right ) \, dx\\ &=3 x-\frac{x^2}{2}-\frac{10 x^3}{3}\\ \end{align*}
Mathematica [A] time = 0.000789, size = 18, normalized size = 1. \[ -\frac{10 x^3}{3}-\frac{x^2}{2}+3 x \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0., size = 15, normalized size = 0.8 \begin{align*} 3\,x-{\frac{{x}^{2}}{2}}-{\frac{10\,{x}^{3}}{3}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 2.66102, size = 19, normalized size = 1.06 \begin{align*} -\frac{10}{3} \, x^{3} - \frac{1}{2} \, x^{2} + 3 \, x \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 1.27703, size = 36, normalized size = 2. \begin{align*} -\frac{10}{3} x^{3} - \frac{1}{2} x^{2} + 3 x \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A] time = 0.050122, size = 14, normalized size = 0.78 \begin{align*} - \frac{10 x^{3}}{3} - \frac{x^{2}}{2} + 3 x \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A] time = 3.29494, size = 19, normalized size = 1.06 \begin{align*} -\frac{10}{3} \, x^{3} - \frac{1}{2} \, x^{2} + 3 \, x \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]